Warning: session_start(): open(/var/lib/php/sessions/sess_hpnd4k5l824ktoh20lc7sn4s0j, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
true true => a & b expect (a) expect (b) --- theory (a human weighs between 80 and 400 pounds) { $x is a human & $x weighs $y pounds => $y >= 80 & $y <= 400 } john is a human john weighs x pounds expect (x >= 80) expect (x <= 400) --- $x says (i weigh $y pounds) => $x weighs $y pounds (user 123) says (i weigh 50 pounds) expect ((user 123) weighs 50 pounds) --- import math proc { if (10 >= 5): ok1 if (10 >= 20): ok2 } expect ok1 don't expect ok2 --- import math 6 >= 5 don't expect contradiction --- import math 5 >= 6 expect contradiction --- import bool proc { if false: nothing else if true: yes } expect yes don't expect nothing --- import bool proc { if true: nothing else if true: yes } expect nothing don't expect yes --- import bool proc { if false: nothing else if false: yes } don't expect nothing don't expect yes