Removed illegal precondition