Starting description of semantic iffs