take BoolePoset {} ; :: thesis: ( BoolePoset {} is strict & BoolePoset {} is Boolean & not BoolePoset {} is empty )
thus ( BoolePoset {} is strict & BoolePoset {} is Boolean & not BoolePoset {} is empty ) ; :: thesis: verum