Synthesis+ (Explicit)

FML (Explicit)