boolean elimated form